0 Prolog
↳1 PrologToPrologProblemTransformerProof (⇒, 82 ms)
↳2 Prolog
↳3 PrologToPiTRSProof (⇒, 12 ms)
↳4 PiTRS
↳5 DependencyPairsProof (⇔, 20 ms)
↳6 PiDP
↳7 DependencyGraphProof (⇔, 0 ms)
↳8 AND
↳9 PiDP
↳10 UsableRulesProof (⇔, 0 ms)
↳11 PiDP
↳12 PiDPToQDPProof (⇒, 0 ms)
↳13 QDP
↳14 QDPSizeChangeProof (⇔, 0 ms)
↳15 YES
↳16 PiDP
↳17 UsableRulesProof (⇔, 0 ms)
↳18 PiDP
↳19 PiDPToQDPProof (⇒, 0 ms)
↳20 QDP
↳21 QDPSizeChangeProof (⇔, 0 ms)
↳22 YES
transposeD_in_gg(.(T23, T24), .(T25, T26)) → U7_gg(T23, T24, T25, T26, pB_in_gggaag(T23, T25, T26, X35, X36, T24))
pB_in_gggaag(T23, T25, T26, X35, X36, T24) → U2_gggaag(T23, T25, T26, X35, X36, T24, row2colC_in_gggaa(T23, T25, T26, X35, X36))
row2colC_in_gggaa(.(T53, T54), .(T53, T55), T56, .(T55, X91), .([], X92)) → U6_gggaa(T53, T54, T55, T56, X91, X92, row2colA_in_ggaa(T54, T56, X91, X92))
row2colA_in_ggaa(.(T77, T78), .(.(T77, T79), T80), .(T79, X139), .([], X140)) → U1_ggaa(T77, T78, T79, T80, X139, X140, row2colA_in_ggaa(T78, T80, X139, X140))
row2colA_in_ggaa([], [], [], []) → row2colA_out_ggaa([], [], [], [])
U1_ggaa(T77, T78, T79, T80, X139, X140, row2colA_out_ggaa(T78, T80, X139, X140)) → row2colA_out_ggaa(.(T77, T78), .(.(T77, T79), T80), .(T79, X139), .([], X140))
U6_gggaa(T53, T54, T55, T56, X91, X92, row2colA_out_ggaa(T54, T56, X91, X92)) → row2colC_out_gggaa(.(T53, T54), .(T53, T55), T56, .(T55, X91), .([], X92))
U2_gggaag(T23, T25, T26, X35, X36, T24, row2colC_out_gggaa(T23, T25, T26, X35, X36)) → pB_out_gggaag(T23, T25, T26, X35, X36, T24)
pB_in_gggaag(T23, T25, T26, .(T113, T114), T112, .(T110, T111)) → U3_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_in_gggaa(T23, T25, T26, .(T113, T114), T112))
U3_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_out_gggaa(T23, T25, T26, .(T113, T114), T112)) → U4_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, pB_in_gggaag(T110, T113, T114, X185, X186, T111))
pB_in_gggaag(T23, T25, T26, T121, T121, []) → U5_gggaag(T23, T25, T26, T121, row2colC_in_gggaa(T23, T25, T26, T121, T121))
U5_gggaag(T23, T25, T26, T121, row2colC_out_gggaa(T23, T25, T26, T121, T121)) → pB_out_gggaag(T23, T25, T26, T121, T121, [])
U4_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, pB_out_gggaag(T110, T113, T114, X185, X186, T111)) → pB_out_gggaag(T23, T25, T26, .(T113, T114), T112, .(T110, T111))
U7_gg(T23, T24, T25, T26, pB_out_gggaag(T23, T25, T26, X35, X36, T24)) → transposeD_out_gg(.(T23, T24), .(T25, T26))
transposeD_in_gg([], []) → transposeD_out_gg([], [])
Infinitary Constructor Rewriting Termination of PiTRS implies Termination of Prolog
transposeD_in_gg(.(T23, T24), .(T25, T26)) → U7_gg(T23, T24, T25, T26, pB_in_gggaag(T23, T25, T26, X35, X36, T24))
pB_in_gggaag(T23, T25, T26, X35, X36, T24) → U2_gggaag(T23, T25, T26, X35, X36, T24, row2colC_in_gggaa(T23, T25, T26, X35, X36))
row2colC_in_gggaa(.(T53, T54), .(T53, T55), T56, .(T55, X91), .([], X92)) → U6_gggaa(T53, T54, T55, T56, X91, X92, row2colA_in_ggaa(T54, T56, X91, X92))
row2colA_in_ggaa(.(T77, T78), .(.(T77, T79), T80), .(T79, X139), .([], X140)) → U1_ggaa(T77, T78, T79, T80, X139, X140, row2colA_in_ggaa(T78, T80, X139, X140))
row2colA_in_ggaa([], [], [], []) → row2colA_out_ggaa([], [], [], [])
U1_ggaa(T77, T78, T79, T80, X139, X140, row2colA_out_ggaa(T78, T80, X139, X140)) → row2colA_out_ggaa(.(T77, T78), .(.(T77, T79), T80), .(T79, X139), .([], X140))
U6_gggaa(T53, T54, T55, T56, X91, X92, row2colA_out_ggaa(T54, T56, X91, X92)) → row2colC_out_gggaa(.(T53, T54), .(T53, T55), T56, .(T55, X91), .([], X92))
U2_gggaag(T23, T25, T26, X35, X36, T24, row2colC_out_gggaa(T23, T25, T26, X35, X36)) → pB_out_gggaag(T23, T25, T26, X35, X36, T24)
pB_in_gggaag(T23, T25, T26, .(T113, T114), T112, .(T110, T111)) → U3_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_in_gggaa(T23, T25, T26, .(T113, T114), T112))
U3_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_out_gggaa(T23, T25, T26, .(T113, T114), T112)) → U4_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, pB_in_gggaag(T110, T113, T114, X185, X186, T111))
pB_in_gggaag(T23, T25, T26, T121, T121, []) → U5_gggaag(T23, T25, T26, T121, row2colC_in_gggaa(T23, T25, T26, T121, T121))
U5_gggaag(T23, T25, T26, T121, row2colC_out_gggaa(T23, T25, T26, T121, T121)) → pB_out_gggaag(T23, T25, T26, T121, T121, [])
U4_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, pB_out_gggaag(T110, T113, T114, X185, X186, T111)) → pB_out_gggaag(T23, T25, T26, .(T113, T114), T112, .(T110, T111))
U7_gg(T23, T24, T25, T26, pB_out_gggaag(T23, T25, T26, X35, X36, T24)) → transposeD_out_gg(.(T23, T24), .(T25, T26))
transposeD_in_gg([], []) → transposeD_out_gg([], [])
TRANSPOSED_IN_GG(.(T23, T24), .(T25, T26)) → U7_GG(T23, T24, T25, T26, pB_in_gggaag(T23, T25, T26, X35, X36, T24))
TRANSPOSED_IN_GG(.(T23, T24), .(T25, T26)) → PB_IN_GGGAAG(T23, T25, T26, X35, X36, T24)
PB_IN_GGGAAG(T23, T25, T26, X35, X36, T24) → U2_GGGAAG(T23, T25, T26, X35, X36, T24, row2colC_in_gggaa(T23, T25, T26, X35, X36))
PB_IN_GGGAAG(T23, T25, T26, X35, X36, T24) → ROW2COLC_IN_GGGAA(T23, T25, T26, X35, X36)
ROW2COLC_IN_GGGAA(.(T53, T54), .(T53, T55), T56, .(T55, X91), .([], X92)) → U6_GGGAA(T53, T54, T55, T56, X91, X92, row2colA_in_ggaa(T54, T56, X91, X92))
ROW2COLC_IN_GGGAA(.(T53, T54), .(T53, T55), T56, .(T55, X91), .([], X92)) → ROW2COLA_IN_GGAA(T54, T56, X91, X92)
ROW2COLA_IN_GGAA(.(T77, T78), .(.(T77, T79), T80), .(T79, X139), .([], X140)) → U1_GGAA(T77, T78, T79, T80, X139, X140, row2colA_in_ggaa(T78, T80, X139, X140))
ROW2COLA_IN_GGAA(.(T77, T78), .(.(T77, T79), T80), .(T79, X139), .([], X140)) → ROW2COLA_IN_GGAA(T78, T80, X139, X140)
PB_IN_GGGAAG(T23, T25, T26, .(T113, T114), T112, .(T110, T111)) → U3_GGGAAG(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_in_gggaa(T23, T25, T26, .(T113, T114), T112))
PB_IN_GGGAAG(T23, T25, T26, .(T113, T114), T112, .(T110, T111)) → ROW2COLC_IN_GGGAA(T23, T25, T26, .(T113, T114), T112)
U3_GGGAAG(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_out_gggaa(T23, T25, T26, .(T113, T114), T112)) → U4_GGGAAG(T23, T25, T26, T113, T114, T112, T110, T111, pB_in_gggaag(T110, T113, T114, X185, X186, T111))
U3_GGGAAG(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_out_gggaa(T23, T25, T26, .(T113, T114), T112)) → PB_IN_GGGAAG(T110, T113, T114, X185, X186, T111)
PB_IN_GGGAAG(T23, T25, T26, T121, T121, []) → U5_GGGAAG(T23, T25, T26, T121, row2colC_in_gggaa(T23, T25, T26, T121, T121))
PB_IN_GGGAAG(T23, T25, T26, T121, T121, []) → ROW2COLC_IN_GGGAA(T23, T25, T26, T121, T121)
transposeD_in_gg(.(T23, T24), .(T25, T26)) → U7_gg(T23, T24, T25, T26, pB_in_gggaag(T23, T25, T26, X35, X36, T24))
pB_in_gggaag(T23, T25, T26, X35, X36, T24) → U2_gggaag(T23, T25, T26, X35, X36, T24, row2colC_in_gggaa(T23, T25, T26, X35, X36))
row2colC_in_gggaa(.(T53, T54), .(T53, T55), T56, .(T55, X91), .([], X92)) → U6_gggaa(T53, T54, T55, T56, X91, X92, row2colA_in_ggaa(T54, T56, X91, X92))
row2colA_in_ggaa(.(T77, T78), .(.(T77, T79), T80), .(T79, X139), .([], X140)) → U1_ggaa(T77, T78, T79, T80, X139, X140, row2colA_in_ggaa(T78, T80, X139, X140))
row2colA_in_ggaa([], [], [], []) → row2colA_out_ggaa([], [], [], [])
U1_ggaa(T77, T78, T79, T80, X139, X140, row2colA_out_ggaa(T78, T80, X139, X140)) → row2colA_out_ggaa(.(T77, T78), .(.(T77, T79), T80), .(T79, X139), .([], X140))
U6_gggaa(T53, T54, T55, T56, X91, X92, row2colA_out_ggaa(T54, T56, X91, X92)) → row2colC_out_gggaa(.(T53, T54), .(T53, T55), T56, .(T55, X91), .([], X92))
U2_gggaag(T23, T25, T26, X35, X36, T24, row2colC_out_gggaa(T23, T25, T26, X35, X36)) → pB_out_gggaag(T23, T25, T26, X35, X36, T24)
pB_in_gggaag(T23, T25, T26, .(T113, T114), T112, .(T110, T111)) → U3_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_in_gggaa(T23, T25, T26, .(T113, T114), T112))
U3_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_out_gggaa(T23, T25, T26, .(T113, T114), T112)) → U4_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, pB_in_gggaag(T110, T113, T114, X185, X186, T111))
pB_in_gggaag(T23, T25, T26, T121, T121, []) → U5_gggaag(T23, T25, T26, T121, row2colC_in_gggaa(T23, T25, T26, T121, T121))
U5_gggaag(T23, T25, T26, T121, row2colC_out_gggaa(T23, T25, T26, T121, T121)) → pB_out_gggaag(T23, T25, T26, T121, T121, [])
U4_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, pB_out_gggaag(T110, T113, T114, X185, X186, T111)) → pB_out_gggaag(T23, T25, T26, .(T113, T114), T112, .(T110, T111))
U7_gg(T23, T24, T25, T26, pB_out_gggaag(T23, T25, T26, X35, X36, T24)) → transposeD_out_gg(.(T23, T24), .(T25, T26))
transposeD_in_gg([], []) → transposeD_out_gg([], [])
TRANSPOSED_IN_GG(.(T23, T24), .(T25, T26)) → U7_GG(T23, T24, T25, T26, pB_in_gggaag(T23, T25, T26, X35, X36, T24))
TRANSPOSED_IN_GG(.(T23, T24), .(T25, T26)) → PB_IN_GGGAAG(T23, T25, T26, X35, X36, T24)
PB_IN_GGGAAG(T23, T25, T26, X35, X36, T24) → U2_GGGAAG(T23, T25, T26, X35, X36, T24, row2colC_in_gggaa(T23, T25, T26, X35, X36))
PB_IN_GGGAAG(T23, T25, T26, X35, X36, T24) → ROW2COLC_IN_GGGAA(T23, T25, T26, X35, X36)
ROW2COLC_IN_GGGAA(.(T53, T54), .(T53, T55), T56, .(T55, X91), .([], X92)) → U6_GGGAA(T53, T54, T55, T56, X91, X92, row2colA_in_ggaa(T54, T56, X91, X92))
ROW2COLC_IN_GGGAA(.(T53, T54), .(T53, T55), T56, .(T55, X91), .([], X92)) → ROW2COLA_IN_GGAA(T54, T56, X91, X92)
ROW2COLA_IN_GGAA(.(T77, T78), .(.(T77, T79), T80), .(T79, X139), .([], X140)) → U1_GGAA(T77, T78, T79, T80, X139, X140, row2colA_in_ggaa(T78, T80, X139, X140))
ROW2COLA_IN_GGAA(.(T77, T78), .(.(T77, T79), T80), .(T79, X139), .([], X140)) → ROW2COLA_IN_GGAA(T78, T80, X139, X140)
PB_IN_GGGAAG(T23, T25, T26, .(T113, T114), T112, .(T110, T111)) → U3_GGGAAG(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_in_gggaa(T23, T25, T26, .(T113, T114), T112))
PB_IN_GGGAAG(T23, T25, T26, .(T113, T114), T112, .(T110, T111)) → ROW2COLC_IN_GGGAA(T23, T25, T26, .(T113, T114), T112)
U3_GGGAAG(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_out_gggaa(T23, T25, T26, .(T113, T114), T112)) → U4_GGGAAG(T23, T25, T26, T113, T114, T112, T110, T111, pB_in_gggaag(T110, T113, T114, X185, X186, T111))
U3_GGGAAG(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_out_gggaa(T23, T25, T26, .(T113, T114), T112)) → PB_IN_GGGAAG(T110, T113, T114, X185, X186, T111)
PB_IN_GGGAAG(T23, T25, T26, T121, T121, []) → U5_GGGAAG(T23, T25, T26, T121, row2colC_in_gggaa(T23, T25, T26, T121, T121))
PB_IN_GGGAAG(T23, T25, T26, T121, T121, []) → ROW2COLC_IN_GGGAA(T23, T25, T26, T121, T121)
transposeD_in_gg(.(T23, T24), .(T25, T26)) → U7_gg(T23, T24, T25, T26, pB_in_gggaag(T23, T25, T26, X35, X36, T24))
pB_in_gggaag(T23, T25, T26, X35, X36, T24) → U2_gggaag(T23, T25, T26, X35, X36, T24, row2colC_in_gggaa(T23, T25, T26, X35, X36))
row2colC_in_gggaa(.(T53, T54), .(T53, T55), T56, .(T55, X91), .([], X92)) → U6_gggaa(T53, T54, T55, T56, X91, X92, row2colA_in_ggaa(T54, T56, X91, X92))
row2colA_in_ggaa(.(T77, T78), .(.(T77, T79), T80), .(T79, X139), .([], X140)) → U1_ggaa(T77, T78, T79, T80, X139, X140, row2colA_in_ggaa(T78, T80, X139, X140))
row2colA_in_ggaa([], [], [], []) → row2colA_out_ggaa([], [], [], [])
U1_ggaa(T77, T78, T79, T80, X139, X140, row2colA_out_ggaa(T78, T80, X139, X140)) → row2colA_out_ggaa(.(T77, T78), .(.(T77, T79), T80), .(T79, X139), .([], X140))
U6_gggaa(T53, T54, T55, T56, X91, X92, row2colA_out_ggaa(T54, T56, X91, X92)) → row2colC_out_gggaa(.(T53, T54), .(T53, T55), T56, .(T55, X91), .([], X92))
U2_gggaag(T23, T25, T26, X35, X36, T24, row2colC_out_gggaa(T23, T25, T26, X35, X36)) → pB_out_gggaag(T23, T25, T26, X35, X36, T24)
pB_in_gggaag(T23, T25, T26, .(T113, T114), T112, .(T110, T111)) → U3_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_in_gggaa(T23, T25, T26, .(T113, T114), T112))
U3_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_out_gggaa(T23, T25, T26, .(T113, T114), T112)) → U4_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, pB_in_gggaag(T110, T113, T114, X185, X186, T111))
pB_in_gggaag(T23, T25, T26, T121, T121, []) → U5_gggaag(T23, T25, T26, T121, row2colC_in_gggaa(T23, T25, T26, T121, T121))
U5_gggaag(T23, T25, T26, T121, row2colC_out_gggaa(T23, T25, T26, T121, T121)) → pB_out_gggaag(T23, T25, T26, T121, T121, [])
U4_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, pB_out_gggaag(T110, T113, T114, X185, X186, T111)) → pB_out_gggaag(T23, T25, T26, .(T113, T114), T112, .(T110, T111))
U7_gg(T23, T24, T25, T26, pB_out_gggaag(T23, T25, T26, X35, X36, T24)) → transposeD_out_gg(.(T23, T24), .(T25, T26))
transposeD_in_gg([], []) → transposeD_out_gg([], [])
ROW2COLA_IN_GGAA(.(T77, T78), .(.(T77, T79), T80), .(T79, X139), .([], X140)) → ROW2COLA_IN_GGAA(T78, T80, X139, X140)
transposeD_in_gg(.(T23, T24), .(T25, T26)) → U7_gg(T23, T24, T25, T26, pB_in_gggaag(T23, T25, T26, X35, X36, T24))
pB_in_gggaag(T23, T25, T26, X35, X36, T24) → U2_gggaag(T23, T25, T26, X35, X36, T24, row2colC_in_gggaa(T23, T25, T26, X35, X36))
row2colC_in_gggaa(.(T53, T54), .(T53, T55), T56, .(T55, X91), .([], X92)) → U6_gggaa(T53, T54, T55, T56, X91, X92, row2colA_in_ggaa(T54, T56, X91, X92))
row2colA_in_ggaa(.(T77, T78), .(.(T77, T79), T80), .(T79, X139), .([], X140)) → U1_ggaa(T77, T78, T79, T80, X139, X140, row2colA_in_ggaa(T78, T80, X139, X140))
row2colA_in_ggaa([], [], [], []) → row2colA_out_ggaa([], [], [], [])
U1_ggaa(T77, T78, T79, T80, X139, X140, row2colA_out_ggaa(T78, T80, X139, X140)) → row2colA_out_ggaa(.(T77, T78), .(.(T77, T79), T80), .(T79, X139), .([], X140))
U6_gggaa(T53, T54, T55, T56, X91, X92, row2colA_out_ggaa(T54, T56, X91, X92)) → row2colC_out_gggaa(.(T53, T54), .(T53, T55), T56, .(T55, X91), .([], X92))
U2_gggaag(T23, T25, T26, X35, X36, T24, row2colC_out_gggaa(T23, T25, T26, X35, X36)) → pB_out_gggaag(T23, T25, T26, X35, X36, T24)
pB_in_gggaag(T23, T25, T26, .(T113, T114), T112, .(T110, T111)) → U3_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_in_gggaa(T23, T25, T26, .(T113, T114), T112))
U3_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_out_gggaa(T23, T25, T26, .(T113, T114), T112)) → U4_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, pB_in_gggaag(T110, T113, T114, X185, X186, T111))
pB_in_gggaag(T23, T25, T26, T121, T121, []) → U5_gggaag(T23, T25, T26, T121, row2colC_in_gggaa(T23, T25, T26, T121, T121))
U5_gggaag(T23, T25, T26, T121, row2colC_out_gggaa(T23, T25, T26, T121, T121)) → pB_out_gggaag(T23, T25, T26, T121, T121, [])
U4_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, pB_out_gggaag(T110, T113, T114, X185, X186, T111)) → pB_out_gggaag(T23, T25, T26, .(T113, T114), T112, .(T110, T111))
U7_gg(T23, T24, T25, T26, pB_out_gggaag(T23, T25, T26, X35, X36, T24)) → transposeD_out_gg(.(T23, T24), .(T25, T26))
transposeD_in_gg([], []) → transposeD_out_gg([], [])
ROW2COLA_IN_GGAA(.(T77, T78), .(.(T77, T79), T80), .(T79, X139), .([], X140)) → ROW2COLA_IN_GGAA(T78, T80, X139, X140)
ROW2COLA_IN_GGAA(.(T77, T78), .(.(T77, T79), T80)) → ROW2COLA_IN_GGAA(T78, T80)
From the DPs we obtained the following set of size-change graphs:
PB_IN_GGGAAG(T23, T25, T26, .(T113, T114), T112, .(T110, T111)) → U3_GGGAAG(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_in_gggaa(T23, T25, T26, .(T113, T114), T112))
U3_GGGAAG(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_out_gggaa(T23, T25, T26, .(T113, T114), T112)) → PB_IN_GGGAAG(T110, T113, T114, X185, X186, T111)
transposeD_in_gg(.(T23, T24), .(T25, T26)) → U7_gg(T23, T24, T25, T26, pB_in_gggaag(T23, T25, T26, X35, X36, T24))
pB_in_gggaag(T23, T25, T26, X35, X36, T24) → U2_gggaag(T23, T25, T26, X35, X36, T24, row2colC_in_gggaa(T23, T25, T26, X35, X36))
row2colC_in_gggaa(.(T53, T54), .(T53, T55), T56, .(T55, X91), .([], X92)) → U6_gggaa(T53, T54, T55, T56, X91, X92, row2colA_in_ggaa(T54, T56, X91, X92))
row2colA_in_ggaa(.(T77, T78), .(.(T77, T79), T80), .(T79, X139), .([], X140)) → U1_ggaa(T77, T78, T79, T80, X139, X140, row2colA_in_ggaa(T78, T80, X139, X140))
row2colA_in_ggaa([], [], [], []) → row2colA_out_ggaa([], [], [], [])
U1_ggaa(T77, T78, T79, T80, X139, X140, row2colA_out_ggaa(T78, T80, X139, X140)) → row2colA_out_ggaa(.(T77, T78), .(.(T77, T79), T80), .(T79, X139), .([], X140))
U6_gggaa(T53, T54, T55, T56, X91, X92, row2colA_out_ggaa(T54, T56, X91, X92)) → row2colC_out_gggaa(.(T53, T54), .(T53, T55), T56, .(T55, X91), .([], X92))
U2_gggaag(T23, T25, T26, X35, X36, T24, row2colC_out_gggaa(T23, T25, T26, X35, X36)) → pB_out_gggaag(T23, T25, T26, X35, X36, T24)
pB_in_gggaag(T23, T25, T26, .(T113, T114), T112, .(T110, T111)) → U3_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_in_gggaa(T23, T25, T26, .(T113, T114), T112))
U3_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_out_gggaa(T23, T25, T26, .(T113, T114), T112)) → U4_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, pB_in_gggaag(T110, T113, T114, X185, X186, T111))
pB_in_gggaag(T23, T25, T26, T121, T121, []) → U5_gggaag(T23, T25, T26, T121, row2colC_in_gggaa(T23, T25, T26, T121, T121))
U5_gggaag(T23, T25, T26, T121, row2colC_out_gggaa(T23, T25, T26, T121, T121)) → pB_out_gggaag(T23, T25, T26, T121, T121, [])
U4_gggaag(T23, T25, T26, T113, T114, T112, T110, T111, pB_out_gggaag(T110, T113, T114, X185, X186, T111)) → pB_out_gggaag(T23, T25, T26, .(T113, T114), T112, .(T110, T111))
U7_gg(T23, T24, T25, T26, pB_out_gggaag(T23, T25, T26, X35, X36, T24)) → transposeD_out_gg(.(T23, T24), .(T25, T26))
transposeD_in_gg([], []) → transposeD_out_gg([], [])
PB_IN_GGGAAG(T23, T25, T26, .(T113, T114), T112, .(T110, T111)) → U3_GGGAAG(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_in_gggaa(T23, T25, T26, .(T113, T114), T112))
U3_GGGAAG(T23, T25, T26, T113, T114, T112, T110, T111, row2colC_out_gggaa(T23, T25, T26, .(T113, T114), T112)) → PB_IN_GGGAAG(T110, T113, T114, X185, X186, T111)
row2colC_in_gggaa(.(T53, T54), .(T53, T55), T56, .(T55, X91), .([], X92)) → U6_gggaa(T53, T54, T55, T56, X91, X92, row2colA_in_ggaa(T54, T56, X91, X92))
U6_gggaa(T53, T54, T55, T56, X91, X92, row2colA_out_ggaa(T54, T56, X91, X92)) → row2colC_out_gggaa(.(T53, T54), .(T53, T55), T56, .(T55, X91), .([], X92))
row2colA_in_ggaa(.(T77, T78), .(.(T77, T79), T80), .(T79, X139), .([], X140)) → U1_ggaa(T77, T78, T79, T80, X139, X140, row2colA_in_ggaa(T78, T80, X139, X140))
row2colA_in_ggaa([], [], [], []) → row2colA_out_ggaa([], [], [], [])
U1_ggaa(T77, T78, T79, T80, X139, X140, row2colA_out_ggaa(T78, T80, X139, X140)) → row2colA_out_ggaa(.(T77, T78), .(.(T77, T79), T80), .(T79, X139), .([], X140))
PB_IN_GGGAAG(T23, T25, T26, .(T110, T111)) → U3_GGGAAG(T110, T111, row2colC_in_gggaa(T23, T25, T26))
U3_GGGAAG(T110, T111, row2colC_out_gggaa(.(T113, T114), T112)) → PB_IN_GGGAAG(T110, T113, T114, T111)
row2colC_in_gggaa(.(T53, T54), .(T53, T55), T56) → U6_gggaa(T55, row2colA_in_ggaa(T54, T56))
U6_gggaa(T55, row2colA_out_ggaa(X91, X92)) → row2colC_out_gggaa(.(T55, X91), .([], X92))
row2colA_in_ggaa(.(T77, T78), .(.(T77, T79), T80)) → U1_ggaa(T79, row2colA_in_ggaa(T78, T80))
row2colA_in_ggaa([], []) → row2colA_out_ggaa([], [])
U1_ggaa(T79, row2colA_out_ggaa(X139, X140)) → row2colA_out_ggaa(.(T79, X139), .([], X140))
row2colC_in_gggaa(x0, x1, x2)
U6_gggaa(x0, x1)
row2colA_in_ggaa(x0, x1)
U1_ggaa(x0, x1)
From the DPs we obtained the following set of size-change graphs: